Requirements

1. Conda environment CentralizedVerification with python 3.8 and requirements.txt
2. Conda environment CentralizedVerificationPython2 with `pip install simplejson`
3. Clone the submodule https://github.com/VerifiableRobotics/slugs in lib/slugs, and build according to the directions there


Note that these will need to be modified to reproduce some of the tables or figures, as they refer to personal accounts:

- experiments/analysis/create_training_curves.py
- experiments/analysis/create_experiment_table.py
